add_executable(josephus josephus.c)